\begin{tikzpicture}[->,>=stealth',shorten >=1pt,auto,node distance=5em,semithick]
    \tikzstyle{every state}=[text=black]
    \tikzset{nearnodes/.style={node distance=2em}}

    \node[state] (1) {1};
    \node[state] (2) at(5em,2.5em) {2};
    \node[state] (9) at(10em,0em) {9};
    \node[state] (3) at(5em,-2.5em) {3};
    \node[nearnodes] (+) [left of=1] {+};
    \node[nearnodes] (-) [right of=9] {-};
    \path (1) edge [color=red!20] node {$\varepsilon$} (2);
    \path (2) edge node {$b$} (9);
    \path (1) edge node {$b$} (3);
    \path (3) edge [color=red!20] node {$\varepsilon$} (9);
    \path (2) edge [loop above] node {$a$} (2);
    \path (3) edge [loop below] node {$c$} (3);
\end{tikzpicture}